>>= is:exact package:semigroupoids